CSL Technical Report SRI-CSL-06-01 • May 23, 2006 Integrating Simplex with DPLL(T ) Bruno Dutertre and Leonardo de Moura This report is based upon work supported by the Defense Advanced Research Projects

Source URL: yices.csl.sri.com

• Theoretical computer science
• Computational complexity theory
• Mathematics
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Constraint programming
• Satisfiability modulo theories
• Boolean satisfiability problem
• Solver
• Simplex algorithm

A type system for Continuation Calculus Herman Geuvers joint work with Bram Geron (Birmingham), Wouter Geraedts (Nijmegen), Judith van Stegeren (Nijmegen) Radboud University Nijmegen and

Source URL: www.cs.ru.nl

• Lambda calculus
• Type theory
• Mathematical logic
• Theoretical computer science
• Software engineering
• Computability theory
• System F
• Calculus
• Continuation
• Church encoding
• Deductive lambda calculus

Automorphisms of the truth-table degrees are fixed on a cone Bernard A. Anderson ∗ Department of Theoretical Computer Science and Mathematical Logic Faculty of Mathematics and Physics

Source URL: iti.mff.cuni.cz

Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 11 Satisfiability Coding Lemma ISSN 1073–0486. MIT Press Journals, Five Cambridge Center, Cambridge,

Source URL: cseweb.ucsd.edu

Comparing universal covers in polynomial time Jiˇr´ı Fiala1 and Dani¨el Paulusma2 1 Charles University, Faculty of Mathematics and Physics, DIMATIA and Institute for Theoretical Computer Science (ITI)

Source URL: iti.mff.cuni.cz

Chair of Software Engineering Robotics Programming Laboratory Bertrand Meyer Jiwon Shin

Source URL: se.inf.ethz.ch

• Robot control
• Search algorithms
• Motion planning
• Theoretical computer science
• Routing algorithms
• Visibility graph
• A* search algorithm
• Visibility
• Probabilistic roadmap
• Any-angle path planning

Specware 4.2 Language Manual Specware 4.2 Language Manual Copyright © by Kestrel Development Corporation Copyright © by Kestrel Technology LLC All rights reserved

Source URL: www.specware.org

• Software engineering
• Computing
• Computer programming
• Formal languages
• Theoretical computer science
• Notation
• Programming language
• Specification
• Category
• C
• Regular expression
• Web Ontology Language

Data Structures for Computational Geometry Mashhood Ishaque 21st June, 2007 Computational Geometry Research Group http://www.cs.tufts.edu/research/geometry/

Source URL: www.eecs.tufts.edu

• Mathematics
• Geometry
• Computer science
• Discrete geometry
• Computational geometry
• Theoretical computer science
• Range searching
• Nearest neighbor search
• Voronoi diagram
• Algorithm

Submitted to the Symposium on Theoretical Aspects of Computer Science www.stacs-conf.org ON SUM COLORING AND SUM MULTI-COLORING FOR RESTRICTED FAMILIES OF GRAPHS ALLAN BORODIN 1 AND IOANA IVAN 1 AND YULI YE 1 AND BRYCE Z

Source URL: www.cs.toronto.edu